An Overview of Temporal and Modal
نویسندگان
چکیده
This paper presents an overview of the development of the eld of temporal and modal logic programming. We review temporal and modal logic programming languages under three headings: (1) languages based on interval logic, (2) languages based on temporal logic, and (3) languages based on (multi)modal logics. The overview includes most of the major results developed, and points out some of the similarities, and the diierences, between languages and systems based on diverse temporal and modal logics. The paper concludes with a brief summary and discussion.
منابع مشابه
P125: An Overview of the Effect of Inflammation Induced by Temporal Epilepsy on the Hippocampus and Amygdala Based on Nerve iImaging
Temporal epilepsy is a common neurological disorder that begins before adulthood. Two -way factors in causing epilepsy and continuing attacks can be inflammation that is caused by immune system and infection. The hippocampus and amygdala are part of a limbic system that relies on memory and emotional regulation. The purpose of this study was to review the effect of epileptic-induced inflammatio...
متن کاملModal Logics of Regions and Minkowski Spacetime
The paper studies modal logics of Kripke frames, in which possible worlds are regions in space with natural accessibility relations. These logics are also interpreted as relativistic temporal logics. Together with an overview, we prove some new results on completeness, decidability, complexity, and finite axiomatizability.
متن کاملAn overview of the rotifers of the family Notommatidae (Rotifera: Monogononta: Ploima) from Iran
The diversity and distribution of the rotifers family Notommatidae was studied in the northwest, the south and the southwest of Iran. In total, 29 species were identified, of which, 25 are new records for the country. New records include the following species: Cephalodella forficata, C. cf. mus, C. vittata, C. ventripes, C. lepida, C. inquilina, C. gibboides, C. tincaformis , C. obvia, C. stere...
متن کاملModal analysis of a turbo-pump shaft: An innovative suspending method to improve the results
Modal parameter extraction of high speed shafts is of critical importance in mechanical design of turbo-pumps. Due to the complex geometry and peripheral components of turbo-pumps, difficulties can arise in determination of modal parameters. In this study, modal properties of a turbo-pump shaft, was studied by experimental modal analysis, and using different excitation techniques. An innovative...
متن کاملAn effective approach for damage identification in beam-like structures based on modal flexibility curvature and particle swarm optimization
In this paper, a computationally simple approach for damage localization and quantification in beam-like structures is proposed. This method is based on using modal flexibility curvature (MFC) and particle swarm optimization (PSO) algorithm. Analytical studies in the literature have shown that changes in the modal flexibility curvature can be considered as a sensitive and suitable criterion for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994